منابع مشابه
Practical Tactics for Separation Logic
We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctness properties of complex pointer-intensive programs. Our goal is to make separation logic as easy to use as the standard logic of a proof assistant. We have developed tactics for the simplification, rearranging, splitting, match...
متن کاملMetafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملForest governance and social justice: practical tactics from a learning group approach in Africa1
2 Director, Forestry and Land Use programme, International Institute for Environment and Development, Edinburgh, UK 3 Assistant Professor, Faculdade de Agronomia e Engenharia Florestal, University of Eduardo Mondlane, Maputo, Mozambique 4 Coordinator Planning, National Forestry Authority, Kampala, Uganda 5 Coordinator, Civic Response, Accra, Ghana 6 Assistant Director of Forestry, Department of...
متن کاملAn Exercise Assistant for Practical Networking Courses
Supporting students with feedback and guidance while they work on networking exercises can be provided in on-campus universities by human course advisors. A shortcoming however is that these advisors are not continuously available for the students, especially when students are working on exercises independently from the university, e.g. at home using a virtual environment. In order to improve t...
متن کاملPromoting Honesty in Negotiation: an Exercise in Practical Ethics*
In a competit ive and morally imperfect world, business people are often faced with serious ethical challenges. Harboring suspicions about the ethics of others, many feel justif ied in engaging in less-than-ideal conduct to protect their own interests. The most sophisticated moral arguments are unlikely to counteract this behavior. We believe that this morally defensive behavior is responsible,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Royal United Services Institution. Journal
سال: 1884
ISSN: 0035-9289
DOI: 10.1080/03071848409424361